61. Agent-oriented software engineering V : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004 : revised selected papers
پدیدآورنده : James Odell, Paolo Giorgini, Jorg P. Muller )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
3382
62. Agents in principle, agents in practice :
پدیدآورنده : David Kinny [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
I58
2011
63. Algorithms and architectures for parallel processing :
پدیدآورنده : Yang Xiang [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses,Computer architecture, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2011
64. Algorithms and architectures for parallel processing :
پدیدآورنده : Yang Xiang ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
I58
2011
65. Ambient Communications and Computer Systems :
پدیدآورنده : Yu-Chen Hu, Shailesh Tiwari, Krishn K. Mishra, Munesh C. Trivedi, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,Telecommunication systems.
رده :
TK5101
.
A1
66. Ambient communications and computer systems :
پدیدآورنده : Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
67. Ambient intelligence :
پدیدآورنده : David V. Keyson [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ambient intelligence, Congresses
رده :
QA76
.
5915
.
A45
2011
68. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
69. Applications of computing and communication technologies :
پدیدآورنده : Ganesh Chandra Deka, Omprakash Kaiwartya, Pooja Vashisth, Priyanka Rathee (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Artificial Intelligence.,Computer Appl. in Social and Behavioral Sciences.,Computer Communication Networks.,Information Systems Applications (incl. Internet).,Software Engineering/Programming and Operating Systems.,System Performance and Evaluation.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Society & social sciences.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
70. Applied computer sciences in engineering :
پدیدآورنده : edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Engineering-- Data processing, Congresses.,Artificial Intelligence.,Computer Engineering.,Computers and Education.,Software Engineering/Programming and Operating Systems.,Computer science.,Computer science.,Computers-- Computer Engineering.,Computers-- Computer Science.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Engineering-- Data processing.,Program concepts-- learning to program.,Software Engineering.
رده :
QA75
.
5
71. Applied informatics :
پدیدآورنده : Hector Florez, Cesar Diaz, Jaime Chavarriaga (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Computer networking & communications.,Computer science.,Computers-- Data Processing.,Computers-- Hardware-- General.,Information technology.,Information technology: general issues.
رده :
QA75
.
5
72. Applied physics, system science and computers II :
پدیدآورنده : Klimis Ntalianis, Anca Croitoru, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
رده :
QC1
73. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
74. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
75. Artificial intelligence :
پدیدآورنده : edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
رده :
Q334
76. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
77. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
78. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
79. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011